package WarehouseTest;

import java.util.Vector;

/*
 * Warehouse will keep collection of available tools and ingredients
 * for shared use between chefs
 * 
 * @author eyar 
 */

public interface Warehouse {

	Vector<Ingredient> ingredients = null;

	/*
	 * @param name of desired tool
	 * @pre tool_avail(name)==true
	 * @post tool_count==@Before.tool_count-1
	 */
	Tool lend_tool(String name);
	
	/*
	 * @param name desired ingredient
	 * @pre ing_avail(name)==true
	 * @post ing_count=@Before.ing_count-1
	 */
	Ingredient pull_ing(String name);
	
	/*
	 * @param name of desired tool
	 * @pre none
	 * @post none
	 */
	boolean tool_avail(String name);

	
	/*
	 * @param tool is the desired tool to add
	 * @pre none
	 * @post tool_count==@Before.tool_count+1
	 */
	void add_tool(Tool tool);
	
	
	/*
	 * @param tool is the tool to check count of
	 * @pre none
	 * @post none
	 */
	int tool_count(String tool);
	
	/*
	 * @param tool is the tool to check count of
	 * @pre none
	 * @post none
	 */
	int ing_count(String ing);
	
}
